Pabellón Philips: Bruselas, Bélgica

Technical Data from Philips

Authors: M. Collados (Philips Research)

System Level Verification at Philips

A new verification project has recently started at Philips Research. It concerns a verification of C-like concurrent programs used to specify functionality of hardware/software systems. The problem is to make the verification practical, in the sense that it must be mechanised, and applicable to thousands of lines of C-like code. We will present the goals of the project and some solutions we wan...

Approximating Change Sets at Philips Healthcare

A single development task such as solving a bug or implementing a new feature often involves changing a number of entities, also known together as a change set. Change sets can be approximated from the version control system. They are then used by the architects and developers to take important decisions. So change sets need to be approximated carefully. It is common to assume that two entities...

Philips Semiconductors PNX 17 xx Series